quantified Boolean formula problem

英 美
  • 量化布尔公式问题
  • Boolean n.[数学]布尔adj.[数学]布尔逻辑的
  • formula n.配方;公式;规则;代乳品adj.方程式的;(赛车的)级的
  • problem n.问题;难题;习题adj.成问题的;难对付的
  • quantified v.用数量表示;量化